Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
61	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference
62	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox
63	Indiscernibles, General Covariance, and Other Symmetries: The Case for Non-Reductive Relationalism Simon Saunders 11 October 2002 Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2004-10-19 09:15:23 Theoretical physics Hole argument Symmetry Relationalism Gauge theory General relativity Simon Saunders Field Classical field theory Spacetime Special relativity Equations of motion
64	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE Abstract— This short description is written for the Ms.PacMan competition in WCCI, held in Hong-Kong. First, instructions, i.e., how Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2008-05-24 14:11:18 Fuzzy logic Artificial intelligence Logic in computer science Non-classical logic Pac-Man Membership function Ghosts Fuzzy rule
65	DOC Document Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-15 13:15:32 Theories of truth Philosophical logic Non-classical logic Semantics Model theory Liar paradox Dialetheism Interpretation Truth function Truth Revision theory Trivialism
66	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
67	On interpolation in existence logics Matthias Baaz and Rosalie Iemhoff!! Technical University Vienna, Wiedner Hauptstrasse 8-10, A-1040 Vienna, Austria , , http://www.logic.at/people/baaz, ht Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:45 Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction First-order logic Sequent Intuitionistic logic Kripke semantics Interpretation Mathematical logic
68	On the Semantics of “hope” -- From the Perspective of Modal Concord Add to Reading List Source URL: www.macsim.us Language: English - Date: 2011-06-24 13:35:02 Modality Modal logic Non-classical logic Philosophical logic Modal operator Verb Grammatical aspect
69	A/z-CALCULUS: INTERPRETATION NATURAL AN Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-04 07:32:04 Proof theory Logic in computer science Constructivism Non-classical logic Deductive reasoning Natural deduction Sequent calculus CurryHoward correspondence Intuitionistic logic Lambda calculus Negation Sequent
70	Proof Theory for Admissible Rules Rosalie Iemhoff 1 Department of Philosophy Utrecht University Bestuursgebouw Heidelberglaan 6-8 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-03-24 09:48:00 Modal logic Non-classical logic Proof theory Logic in computer science Philosophical logic Admissible rule Sequent Normal modal logic Intermediate logic Kripke semantics Intuitionistic logic General frame

UPDATE